runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254138-1501984157/watcher-4254138-1501984157 -o /tmp/evaluation-result-4254138-1501984157/solver-4254138-1501984157 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1144662051 HOME/instance-4254138-1501984157.xml
pid=17885
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.05 1.99 2.03 3/200 17888
/proc/meminfo: memFree=31490588/32770624 swapFree=0/321692
[pid=17888] ppid=17885 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (runsolver) D 17885 17888 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98068936 24240128 107 18446744073709551615 4194304 4338465 140728607535552 140728607533192 140045377331927 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 14995456 140728607539298 140728607539788 140728607539788 140728607543242 0
/proc/17888/statm: 5918 107 54 36 0 2156 0
[startup+0.100159 s]
/proc/loadavg: 2.05 1.99 2.03 3/200 17888
/proc/meminfo: memFree=31490588/32770624 swapFree=0/321692
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 2.05 1.99 2.03 3/200 17888
/proc/meminfo: memFree=31490588/32770624 swapFree=0/321692
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300244 s]
/proc/loadavg: 2.05 1.99 2.03 3/200 17888
/proc/meminfo: memFree=31490588/32770624 swapFree=0/321692
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704987 s]
/proc/loadavg: 2.05 1.99 2.03 3/200 17888
/proc/meminfo: memFree=31490588/32770624 swapFree=0/321692
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 2.05 1.99 2.03 5/216 17904
/proc/meminfo: memFree=31416176/32770624 swapFree=0/321748
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=3.31 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 18525 0 0 0 324 7 0 0 20 0 15 0 98068944 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 22264 3190 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 8792 0 0 0 130 4 0 0 20 0 15 0 98068945 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140125698752024 140125340195072 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17894] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17894/stat : 17894 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140125292272784 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17895] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17895/stat : 17895 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140125291219984 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17896] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17896/stat : 17896 (java) S 17888 17888 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124879726704 140125694524034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 3052 0 0 0 71 0 0 0 20 0 15 0 98068950 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 3538 0 0 0 81 0 0 0 20 0 15 0 98068950 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) S 17888 17888 12039 0 -1 1077944384 1832 0 0 0 41 1 0 0 20 0 15 0 98068950 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068956 14316269568 22264 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 13990244
[startup+3.10052 s]
/proc/loadavg: 1.97 1.97 2.03 3/216 17904
/proc/meminfo: memFree=31413944/32770624 swapFree=0/321748
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=5.05 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 19493 0 0 0 498 7 0 0 20 0 15 0 98068944 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 22320 3191 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 9060 0 0 0 290 4 0 0 20 0 15 0 98068945 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140125698748656 140125340195644 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17894] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17894/stat : 17894 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140125292272784 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17895] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17895/stat : 17895 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140125291219984 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17896] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17896/stat : 17896 (java) S 17888 17888 12039 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124879726704 140125694524034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 3233 0 0 0 76 0 0 0 20 0 15 0 98068950 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 3649 0 0 0 87 0 0 0 20 0 15 0 98068950 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) R 17888 17888 12039 0 -1 4202560 2191 0 0 0 43 1 0 0 20 0 15 0 98068950 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125680208718 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 98068956 14316269568 22320 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 13990244
[startup+6.30068 s]
/proc/loadavg: 1.97 1.97 2.03 3/216 17904
/proc/meminfo: memFree=31411584/32770624 swapFree=0/321760
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=8.58 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 24190 0 0 0 851 7 0 0 20 0 15 0 98068944 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 22994 3201 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 10407 0 0 0 610 4 0 0 20 0 15 0 98068945 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140125698748512 140125340194519 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17894] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17894/stat : 17894 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140125292272784 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17895] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17895/stat : 17895 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140125291219984 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17896] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17896/stat : 17896 (java) S 17888 17888 12039 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124879726704 140125694524034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 4299 0 0 0 87 1 0 0 20 0 15 0 98068950 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=1.06 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 5163 0 0 0 106 0 0 0 20 0 15 0 98068950 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) S 17888 17888 12039 0 -1 1077944384 2433 0 0 0 46 1 0 0 20 0 15 0 98068950 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98068956 14316269568 22994 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.97 1.97 2.03 3/216 17904
/proc/meminfo: memFree=31397196/32770624 swapFree=0/321752
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=15.49 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 31696 0 0 0 1541 8 0 0 20 0 15 0 98068944 14316269568 25283 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 25283 3201 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 11199 0 0 0 1250 4 0 0 20 0 15 0 98068945 14316269568 25283 18446744073709551615 4194304 4196468 140727982045168 140125698750552 140125340194377 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 25283 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 25283 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
################
# More data... #
################
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 16589 0 0 0 178 2 0 0 20 0 15 0 98068950 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 10379 0 0 0 142 1 0 0 20 0 15 0 98068950 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) S 17888 17888 12039 0 -1 1077944384 4502 0 0 0 52 1 0 0 20 0 15 0 98068950 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 520 0 0 0 1 0 0 0 20 0 15 0 98068956 14316269568 34570 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 105.96
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.03 2.01 2.04 3/216 17953
/proc/meminfo: memFree=31265564/32770624 swapFree=0/322168
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=165.97 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 48966 0 0 0 16586 11 0 0 20 0 15 0 98068944 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 41232 3208 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=162.13 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 13811 0 0 0 16208 5 0 0 20 0 15 0 98068945 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140125698749232 140125340195038 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17894] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17894/stat : 17894 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140125292272784 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17895] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17895/stat : 17895 (java) S 17888 17888 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140125291219984 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17896] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17896/stat : 17896 (java) S 17888 17888 12039 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124879726704 140125694524034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 16816 0 0 0 179 2 0 0 20 0 15 0 98068950 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 10382 0 0 0 142 1 0 0 20 0 15 0 98068950 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) S 17888 17888 12039 0 -1 1077944384 5566 0 0 0 52 1 0 0 20 0 15 0 98068950 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 551 0 0 0 2 1 0 0 20 0 15 0 98068956 14316269568 41232 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 165.97
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.04 3/215 17955
/proc/meminfo: memFree=31224500/32770624 swapFree=0/322180
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=226.07 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 53848 0 0 0 22594 13 0 0 20 0 15 0 98068944 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 48451 3227 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=222.13 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 14269 0 0 0 22208 5 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125698750872 140125340194719 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 604 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17894] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17894/stat : 17894 (java) S 17888 17888 12039 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125292272784 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17895] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17895/stat : 17895 (java) S 17888 17888 12039 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125291219984 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17896] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17896/stat : 17896 (java) S 17888 17888 12039 0 -1 1077944384 738 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124879726704 140125694524034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=1.83 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 17642 0 0 0 181 2 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 11249 0 0 0 145 1 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) S 17888 17888 12039 0 -1 1077944384 6884 0 0 0 53 1 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 584 0 0 0 2 2 0 0 20 0 15 0 98068956 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 226.07
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.17 2.05 2.05 3/215 18037
/proc/meminfo: memFree=31318360/32770624 swapFree=0/322212
[pid=17888] ppid=17885 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17888/stat : 17888 (xcsp3-exec) S 17885 17888 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98068936 9740288 345 18446744073709551615 4194304 5098028 140728831203200 140728831201304 140501534896764 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 37122048 140728831209889 140728831210093 140728831210093 140728831213547 0
/proc/17888/statm: 2378 345 289 221 0 87 0
[pid=17890] ppid=17888 vsize=13980732 CPUtime=243.77 cores=1,3,5,7
/proc/17890/stat : 17890 (java) S 17888 17888 12039 0 -1 1077944320 53855 0 0 0 24364 13 0 0 20 0 15 0 98068944 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140727982027712 140125694512887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
/proc/17890/statm: 3495183 48451 3227 1 0 3483476 0
[pid=17890/tid=17891] ppid=17888 vsize=13980732 CPUtime=239.82 cores=1,3,5,7
/proc/17890/task/17891/stat : 17891 (java) R 17888 17888 12039 0 -1 4202560 14276 0 0 0 23977 5 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125698750472 140125340194832 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17892] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17892/stat : 17892 (java) S 17888 17888 12039 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125294377872 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17893] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17893/stat : 17893 (java) S 17888 17888 12039 0 -1 1077944384 604 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125293325072 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17894] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17894/stat : 17894 (java) S 17888 17888 12039 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125292272784 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17895] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17895/stat : 17895 (java) S 17888 17888 12039 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 98068945 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140125291219984 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17896] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17896/stat : 17896 (java) S 17888 17888 12039 0 -1 1077944384 738 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124879726704 140125694524034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17897] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17897/stat : 17897 (java) S 17888 17888 12039 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124878672672 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17898] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17898/stat : 17898 (java) S 17888 17888 12039 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 98068947 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124877620336 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17899] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17899/stat : 17899 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124876568656 140125694531483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17900] ppid=17888 vsize=13980732 CPUtime=1.83 cores=1,3,5,7
/proc/17890/task/17900/stat : 17900 (java) S 17888 17888 12039 0 -1 1077944384 17642 0 0 0 181 2 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124875516528 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17901] ppid=17888 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/17890/task/17901/stat : 17901 (java) S 17888 17888 12039 0 -1 1077944384 11249 0 0 0 145 1 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124874463728 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17902] ppid=17888 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/17890/task/17902/stat : 17902 (java) S 17888 17888 12039 0 -1 1077944384 6884 0 0 0 53 1 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124873411440 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17903] ppid=17888 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17890/task/17903/stat : 17903 (java) S 17888 17888 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98068950 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124872358880 140125694523093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
[pid=17890/tid=17904] ppid=17888 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/17890/task/17904/stat : 17904 (java) S 17888 17888 12039 0 -1 1077944384 584 0 0 0 2 2 0 0 20 0 15 0 98068956 14316269568 48451 18446744073709551615 4194304 4196468 140727982045168 140124871305648 140125694524034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 27504640 140727982051802 140727982051977 140727982051977 140727982055375 0
Current children cumulated CPU time (s) 243.77
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17890 sig 9
??? kill 17888 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17888 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1816
# CPU time returned by wait4() is 0.001816
# while last known CPU time is 243.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.77
CPU user time (s): 243.64
CPU system time (s): 0.13
CPU usage (%): 101.567
Max. virtual memory (cumulated for all children) (KiB): 13991972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001816
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12419 second user time and 1.24572 second system time
The end