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-4255189-1501619661/watcher-4255189-1501619661 -o /tmp/evaluation-result-4255189-1501619661/solver-4255189-1501619661 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1830941964 HOME/instance-4255189-1501619661.xml
pid=13839
running on 4 cores: 0,2,4,6
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.03 1.91 1.84 3/200 13842
/proc/meminfo: memFree=30927448/32770624 swapFree=0/168376
[pid=13842] ppid=13839 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (runsolver) D 13839 13842 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3876725 24240128 108 18446744073709551615 4194304 4338465 140734897692000 140734897689640 140697380414167 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 9367552 140734897696862 140734897697351 140734897697351 140734897700810 0
/proc/13842/statm: 5918 108 54 36 0 2156 0
[startup+0.100133 s]
/proc/loadavg: 2.03 1.91 1.84 3/200 13842
/proc/meminfo: memFree=30927448/32770624 swapFree=0/168376
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200332 s]
/proc/loadavg: 2.03 1.91 1.84 3/200 13842
/proc/meminfo: memFree=30927448/32770624 swapFree=0/168376
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300336 s]
/proc/loadavg: 2.03 1.91 1.84 3/200 13842
/proc/meminfo: memFree=30927448/32770624 swapFree=0/168376
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.707644 s]
/proc/loadavg: 2.03 1.91 1.84 3/200 13842
/proc/meminfo: memFree=30927448/32770624 swapFree=0/168376
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 2.11 1.93 1.84 5/216 13858
/proc/meminfo: memFree=30852824/32770624 swapFree=0/168372
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=3.91 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 24664 0 0 0 384 7 0 0 20 0 15 0 3876734 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 30459 3188 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 9850 0 0 0 131 4 0 0 20 0 15 0 3876734 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630842126264 140630470389231 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3876735 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3876735 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13848] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3876735 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630792751504 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13849] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3876735 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630791698704 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13850] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3876736 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630383659888 140630837901954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630315492896 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630314440048 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) R 13842 13842 3187 0 -1 4202560 5887 0 0 0 97 0 0 0 20 0 15 0 3876739 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630312316928 140630817583903 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) R 13842 13842 3187 0 -1 4202560 3803 0 0 0 98 1 0 0 20 0 15 0 3876740 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630311268808 140630822998415 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 3187 0 -1 1077944384 3776 0 0 0 56 0 0 0 20 0 15 0 3876740 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3876744 14316269568 30459 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 2.11 1.93 1.84 5/216 13858
/proc/meminfo: memFree=30750252/32770624 swapFree=0/168372
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=8.8 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 27466 0 0 0 871 9 0 0 20 0 15 0 3876734 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 54306 3227 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 10213 0 0 0 287 5 0 0 20 0 15 0 3876734 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630842127872 140630471427453 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 3876735 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 15 0 3876735 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13848] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 3187 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 3876735 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630792751504 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13849] ppid=13842 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 3187 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 3876735 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630791698704 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13850] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 3187 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 3876736 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630383659888 140630837901954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630315492896 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630314440048 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) R 13842 13842 3187 0 -1 4202560 6299 0 0 0 256 0 0 0 20 0 15 0 3876739 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630312335728 140630822819195 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=2.51 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) R 13842 13842 3187 0 -1 4202560 4316 0 0 0 250 1 0 0 20 0 15 0 3876740 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630311271728 140630823907632 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) R 13842 13842 3187 0 -1 1077944384 4604 0 0 0 70 0 0 0 20 0 15 0 3876740 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3876744 14316269568 54306 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 2.11 1.93 1.84 3/216 13858
/proc/meminfo: memFree=30610892/32770624 swapFree=0/168384
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=14.31 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 28563 0 0 0 1412 19 0 0 20 0 15 0 3876734 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 97993 3233 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=6.06 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 10295 0 0 0 599 7 0 0 20 0 15 0 3876734 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630842122064 140630474101905 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 15 0 3876735 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 110 0 0 0 4 2 0 0 20 0 15 0 3876735 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13848] ppid=13842 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 3187 0 -1 1077944384 213 0 0 0 4 2 0 0 20 0 15 0 3876735 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630792751504 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13849] ppid=13842 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 3187 0 -1 1077944384 306 0 0 0 5 1 0 0 20 0 15 0 3876735 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630791698704 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13850] ppid=13842 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 3187 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 3876736 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630383659888 140630837901954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630315492896 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630314440048 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=3.38 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 3187 0 -1 1077944384 6430 0 0 0 337 1 0 0 20 0 15 0 3876739 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630312335728 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=3.76 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 3187 0 -1 1077944384 4623 0 0 0 375 1 0 0 20 0 15 0 3876740 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630311282928 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 3187 0 -1 1077944384 4780 0 0 0 79 1 0 0 20 0 15 0 3876740 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3876744 14316269568 97993 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 14.31
Current children cumulated vsize (KiB) 13990244
[startup+12.701 s]
/proc/loadavg: 2.09 1.93 1.84 3/216 13859
/proc/meminfo: memFree=30398720/32770624 swapFree=0/168392
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=21.47 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 34416 0 0 0 2120 27 0 0 20 0 15 0 3876734 14316269568 143495 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 143495 3233 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=12.42 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 12141 0 0 0 1233 9 0 0 20 0 15 0 3876734 14316269568 143495 18446744073709551615 4194304 4196468 140724588949824 140630842127760 140630822263105 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 141 0 0 0 5 3 0 0 20 0 15 0 3876735 14316269568 143495 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 166 0 0 0 6 3 0 0 20 0 15 0 3876735 14316269568 143495 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
################
# More data... #
################
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630315492896 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630314440048 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=4.3 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 3187 0 -1 1077944384 14407 0 0 0 429 1 0 0 20 0 15 0 3876739 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630312335728 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=4.67 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 3187 0 -1 1077944384 10155 0 0 0 466 1 0 0 20 0 15 0 3876740 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630311282928 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 3187 0 -1 1077944384 6412 0 0 0 87 1 0 0 20 0 15 0 3876740 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 186 0 0 0 3 1 0 0 20 0 15 0 3876744 14316269568 268389 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 113.62
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.65 1.87 1.84 3/215 13863
/proc/meminfo: memFree=30293936/32770624 swapFree=0/168476
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=175.33 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 74110 0 0 0 17451 82 0 0 20 0 15 0 3876734 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 228769 3234 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=161.15 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 23422 0 0 0 16096 19 0 0 20 0 15 0 3876734 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630842126928 140630474463938 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 911 0 0 0 77 14 0 0 20 0 15 0 3876735 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 3046 0 0 0 78 12 0 0 20 0 15 0 3876735 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13848] ppid=13842 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 3187 0 -1 1077944384 2126 0 0 0 79 13 0 0 20 0 15 0 3876735 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630792751504 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13849] ppid=13842 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 3187 0 -1 1077944384 1547 0 0 0 80 12 0 0 20 0 15 0 3876735 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630791698704 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13850] ppid=13842 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 3187 0 -1 1077944384 1696 0 0 0 3 0 0 0 20 0 15 0 3876736 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630383659888 140630837901954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630315492896 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630314440048 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=4.42 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 3187 0 -1 1077944384 16753 0 0 0 440 2 0 0 20 0 15 0 3876739 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630312335728 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 3187 0 -1 1077944384 15209 0 0 0 500 2 0 0 20 0 15 0 3876740 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630311282928 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 3187 0 -1 1077944384 7797 0 0 0 89 1 0 0 20 0 15 0 3876740 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 253 0 0 0 5 3 0 0 20 0 15 0 3876744 14316269568 228769 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 175.33
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.70 1.85 1.84 3/215 14022
/proc/meminfo: memFree=30907260/32770624 swapFree=0/168568
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=237.62 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 82465 0 0 0 23636 126 0 0 20 0 15 0 3876734 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 270894 3250 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=220.35 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 25336 0 0 0 22016 19 0 0 20 0 15 0 3876734 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630842130448 140630471413012 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 1627 0 0 0 141 24 0 0 20 0 15 0 3876735 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 3704 0 0 0 142 23 0 0 20 0 15 0 3876735 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13848] ppid=13842 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 3187 0 -1 1077944384 2666 0 0 0 143 24 0 0 20 0 15 0 3876735 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630792751504 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13849] ppid=13842 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 3187 0 -1 1077944384 2459 0 0 0 144 23 0 0 20 0 15 0 3876735 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630791698704 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13850] ppid=13842 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 3187 0 -1 1077944384 4712 0 0 0 7 1 0 0 20 0 15 0 3876736 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630383659888 140630837901954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630315492960 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630314440064 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=4.42 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 3187 0 -1 1077944384 16911 0 0 0 440 2 0 0 20 0 15 0 3876739 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630312335728 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=5.03 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 3187 0 -1 1077944384 15393 0 0 0 501 2 0 0 20 0 15 0 3876740 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630311282928 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 3187 0 -1 1077944384 8003 0 0 0 89 1 0 0 20 0 15 0 3876740 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 276 0 0 0 6 5 0 0 20 0 15 0 3876744 14316269568 270894 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 237.62
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.61 1.82 1.83 3/215 14022
/proc/meminfo: memFree=30633252/32770624 swapFree=0/168584
[pid=13842] ppid=13839 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3876725 9740288 345 18446744073709551615 4194304 5098028 140725542167376 140725542165480 140355865449084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 19136512 140725542175132 140725542175336 140725542175336 140725542178795 0
/proc/13842/statm: 2378 345 289 221 0 87 0
[pid=13844] ppid=13842 vsize=13980732 CPUtime=255.66 cores=0,2,4,6
/proc/13844/stat : 13844 (java) S 13842 13842 3187 0 -1 1077944320 86279 0 0 0 25427 139 0 0 20 0 15 0 3876734 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140724588932368 140630837890807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
/proc/13844/statm: 3495183 297566 3250 1 0 3483484 0
[pid=13844/tid=13845] ppid=13842 vsize=13980732 CPUtime=237.96 cores=0,2,4,6
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 3187 0 -1 4202560 25938 0 0 0 23777 19 0 0 20 0 15 0 3876734 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630842127216 140630475503629 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13846] ppid=13842 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 3187 0 -1 1077944384 1718 0 0 0 147 27 0 0 20 0 15 0 3876735 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630794857104 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13847] ppid=13842 vsize=13980732 CPUtime=1.73 cores=0,2,4,6
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 3187 0 -1 1077944384 3861 0 0 0 148 25 0 0 20 0 15 0 3876735 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630793804304 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13848] ppid=13842 vsize=13980732 CPUtime=1.75 cores=0,2,4,6
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 3187 0 -1 1077944384 2877 0 0 0 148 27 0 0 20 0 15 0 3876735 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630792751504 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13849] ppid=13842 vsize=13980732 CPUtime=1.76 cores=0,2,4,6
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 3187 0 -1 1077944384 2535 0 0 0 150 26 0 0 20 0 15 0 3876735 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630791698704 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13850] ppid=13842 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 3187 0 -1 1077944384 4972 0 0 0 7 1 0 0 20 0 15 0 3876736 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630383659888 140630837901954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13851] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630315492960 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13852] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 3187 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 3876737 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630314440064 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13853] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876739 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630313388368 140630837909403 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13854] ppid=13842 vsize=13980732 CPUtime=4.44 cores=0,2,4,6
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 3187 0 -1 1077944384 17959 0 0 0 442 2 0 0 20 0 15 0 3876739 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630312335728 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13855] ppid=13842 vsize=13980732 CPUtime=5.08 cores=0,2,4,6
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 3187 0 -1 1077944384 16676 0 0 0 506 2 0 0 20 0 15 0 3876740 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630311282928 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13856] ppid=13842 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 3187 0 -1 1077944384 8088 0 0 0 89 1 0 0 20 0 15 0 3876740 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630310230128 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13857] ppid=13842 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3876740 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630309177568 140630837901013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
[pid=13844/tid=13858] ppid=13842 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 3187 0 -1 1077944384 277 0 0 0 7 5 0 0 20 0 15 0 3876744 14316269568 297566 18446744073709551615 4194304 4196468 140724588949824 140630308125872 140630837901954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34852864 140724588958165 140724588958340 140724588958340 140724588961743 0
Current children cumulated CPU time (s) 255.66
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 13844 sig 9
??? kill 13842 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 13842 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1785
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=177
# CPU time returned by wait4() is 0.001962
# while last known CPU time is 255.66
#
# 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): 255.66
CPU user time (s): 254.27
CPU system time (s): 1.39
CPU usage (%): 106.52
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001785
system time used= 0.000177
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.06777 second user time and 1.60212 second system time
The end